home *** CD-ROM | disk | FTP | other *** search
/ EnigmA Amiga Run 1997 May / EnigmA AMIGA RUN 18 (1997)(G.R. Edizioni)(IT)[!][issue 1997-05][EAR-CD II].iso / ghost / gs403src_gs.lha / gs4.03 / iref.h < prev    next >
C/C++ Source or Header  |  1996-06-14  |  13KB  |  363 lines
  1. /* Copyright (C) 1989, 1995, 1996 Aladdin Enterprises.  All rights reserved.
  2.   
  3.   This file is part of Aladdin Ghostscript.
  4.   
  5.   Aladdin Ghostscript is distributed with NO WARRANTY OF ANY KIND.  No author
  6.   or distributor accepts any responsibility for the consequences of using it,
  7.   or for whether it serves any particular purpose or works at all, unless he
  8.   or she says so in writing.  Refer to the Aladdin Ghostscript Free Public
  9.   License (the "License") for full details.
  10.   
  11.   Every copy of Aladdin Ghostscript must include a copy of the License,
  12.   normally in a plain ASCII text file named PUBLIC.  The License grants you
  13.   the right to copy, modify and redistribute Aladdin Ghostscript, but only
  14.   under certain conditions described in the License.  Among other things, the
  15.   License requires that the copyright notice and this notice be preserved on
  16.   all copies.
  17. */
  18.  
  19. /* iref.h */
  20. /* Object structure and type definitions for Ghostscript */
  21.  
  22. #ifndef iref_INCLUDED
  23. #  define iref_INCLUDED
  24.  
  25. /* The typedef for object references */
  26. typedef struct ref_s ref;
  27.  
  28. /* The typedef for packed object references.  This is opaque here: */
  29. /* the details are in packed.h. */
  30. typedef ushort ref_packed;
  31.  
  32. /*
  33.  * Define the object types.
  34.  * The types marked with @ are composite and hence use the a_space field;
  35.  * objects of all other types must have a_space cleared.
  36.  * The types marked with ! behave differently in the interpreter
  37.  * depending on whether they are executable or literal.
  38.  * The types marked with + use the read/write/execute
  39.  * attributes; the rest only use the executable attribute.
  40.  * The types marked with # use the size field.
  41.  */
  42. typedef enum {
  43.  
  44. /*
  45.  * Type 0 must be left unassigned, so that the type (and type_attrs)
  46.  * of a valid ref will never be zero.  This speeds up simultaneous
  47.  * type/space checking in def (see dstack.h for details) and a similar
  48.  * check in ref_save (see store.h for details).  We may as well use
  49.  * type 0 for t__invalid, which will never appear in a real ref.
  50.  *
  51.  * The "invalid" type is only used in a few special places: the guard
  52.  * entries at the bottom of the o-stack that detect stack underflow,
  53.  * and (eventually) the ref that the cached value pointer in names points to
  54.  * if the binding isn't known.  It never appears on a stack or in a
  55.  * program-visible data structure.
  56.  */
  57.  
  58.     t__invalid,        /*    (no value) */
  59.     t_boolean,        /*    value.boolval */
  60.     t_dictionary,        /* @ +  value.pdict */
  61.     t_file,            /* @!+# value.pfile, uses size for id */
  62.  
  63. /*
  64.  * The 4 array types must be kept together, and must start at
  65.  * a multiple of 4, for the sake of r_is_array and r_is_proc (see below).
  66.  */
  67.  
  68. #define _t_array_span 4
  69.     t_array,        /* @!+# value.refs */
  70.         /* The following are the two implementations of */
  71.         /* packed arrays. */
  72.     t_mixedarray,        /* @!+# value.packed */
  73.     t_shortarray,        /* @!+# value.packed */
  74.       t_unused_array_,    /*    (an unused array type) */
  75.  
  76. /*
  77.  * t_[a]struct is an "umbrella" for other types that are represented by
  78.  * allocated objects (structures).  Objects of these types are composite
  79.  * and hence use the a_local attribute.  The type name is taken from
  80.  * the allocator template for the structure.  t_astruct objects use the
  81.  * access attributes; t_struct objects do not.  Neither t_struct nor
  82.  * t_astruct objects use the size.
  83.  *
  84.  * t_struct is currently used for the following PostScript types:
  85.  *    condition, lock.
  86.  * We could use it for fontIDs, except that they may have subclasses.
  87.  * Eventually it will also be used for the new 'device' type.
  88.  * t_astruct is currently used for the following PostScript types:
  89.  *    gstate.
  90.  *
  91.  * The 2 structure types must be kept together, and must start at
  92.  * a multiple of 2, for the sake of r_has_stype (see below).
  93.  */
  94.  
  95. #define _t_struct_span 2
  96.     t_struct,        /* @    value.pstruct */
  97.     t_astruct,        /* @ +    value.pstruct */
  98.  
  99. /*
  100.  * We now continue with individual types.
  101.  */
  102.     t_fontID,        /* @    value.pstruct */
  103.     t_integer,        /*    value.intval */
  104.     t_mark,            /*        (no value) */
  105. /*
  106.  * Name objects use the a_space field because they really are composite
  107.  * objects internally.
  108.  */
  109.     t_name,            /* @! # value.pname, uses size for index */
  110.     t_null,            /*  ! # (value.opproc, uses size for mark */
  111.                 /*        type, on e-stack only) */
  112. /*
  113.  * Operator objects use the a_space field because they may actually be
  114.  * disguised procedures.  (Real operators always have a_space = 0.)
  115.  */
  116.     t_operator,        /* @! # value.opproc, uses size for index */
  117.     t_real,            /*    value.realval */
  118.     t_save,            /*      value.saveid, see isave.h for why */
  119.                 /*        this isn't a t_struct */
  120.     t_string,        /* @!+# value.bytes */
  121. /*
  122.  * The following are extensions to the PostScript type set.
  123.  * When adding new types, be sure to edit the table in gs_init.ps
  124.  * (==only operator), the printing routine in idebug.c, the dispatches
  125.  * in igc.c, igcref.c, and interp.c, obj_eq in iutil.c, restore_check_stack
  126.  * in zvmem.c, and also type_name_strings and type_print_strings below.
  127.  */
  128.     t_device,        /* @ +   value.pdevice */
  129.     t_oparray,        /* @! #  value.const_refs, uses size */
  130.                 /*         for index */
  131.     t_next_index    /*** first available index ***/
  132. } ref_type;
  133. /*
  134.  * The interpreter uses types starting at t_next_index for representing
  135.  * a few high-frequency operators.
  136.  * Since there are no operations specifically on operators,
  137.  * there is no need for any operators to check specifically for these
  138.  * types.  The r_btype macro takes care of the conversion when required.
  139.  */
  140. /*extern const int tx_next_index;*/        /* in interp.c */
  141. /*
  142.  * Define the types that use the size field.
  143.  * (The extended types used by the interpreter also use the size field.)
  144.  * We don't include t_null here, because it only uses the size field
  145.  * on the e-stack.
  146.  */
  147. #define case_types_with_size\
  148.   case t_array: case t_mixedarray: case t_shortarray:\
  149.   case t_file: case t_name: case t_operator: case t_string:\
  150.   case t_oparray
  151. /*
  152.  * Define the type names for debugging printout.
  153.  * All names must be the same length, so that columns will line up.
  154.  */
  155. #define type_print_strings\
  156.   "INVL","bool","dict","file",\
  157.   "arry","mpry","spry","u?ry",\
  158.   "STRC","ASTR",\
  159.   "font","int ","mark","name","null",\
  160.   "oper","real","save","str ",\
  161.   "devc","opry"
  162. /*
  163.  * Define the type names for the type operator.
  164.  */
  165. #define type_name_strings\
  166.   0,"booleantype","dicttype","filetype",\
  167.   "arraytype","packedarraytype","packedarraytype","arraytype",\
  168.   0,0,\
  169.   "fonttype","integertype","marktype","nametype","nulltype",\
  170.   "operatortype","realtype","savetype","stringtype",\
  171.   "devicetype","operatortype"
  172.  
  173. /*
  174.  * The following factors affect the encoding of attributes:
  175.  *
  176.  *    - The packed array format requires the high-order bits of the
  177.  *      type/attributes field to be 0.  (see packed.h)
  178.  *
  179.  *    - The interpreter wants the type, executable bit, and execute
  180.  *      permission to be adjacent, and in that order from high to low.
  181.  *
  182.  *    - Type testing is most efficient if the type is in a byte by itself.
  183.  *
  184.  * The layout given below results in the most efficient code overall.
  185.  */
  186.  
  187. /* Location attributes. */
  188. /* Note that these are associated with the *location*, not with the */
  189. /* ref that is *stored* in that location. */
  190. #define l_mark 1            /* mark for garbage collector */
  191. #define l_new 2                /* stored into since last save */
  192. /* Attributes visible at the PostScript language level. */
  193. /* Reserve bits for VM space information (defined in ivmspace.h). */
  194. #define r_space_bits 2
  195. #define r_space_shift 2
  196. #define a_write 0x10
  197. #define a_read 0x20
  198. #define a_execute 0x40
  199. #define a_executable 0x80
  200. #define a_readonly (a_read+a_execute)
  201. #define a_all (a_write+a_read+a_execute)
  202. #define r_type_shift 8
  203. #define r_type_bits 6
  204.  
  205. /* Define the attribute names for debugging printout. */
  206. /* Each entry has the form <mask, value, character>. */
  207. typedef struct attr_print_mask_s {
  208.     ushort mask;
  209.     ushort value;
  210.     char print;
  211. } attr_print_mask;
  212. #define attr_print_flag(m,c)\
  213.   {m,m,c},{m,0,'-'}
  214. #define attr_print_space(v,c)\
  215.   {((1<<r_space_bits)-1)<<r_space_shift,v,c}
  216. #define attr_print_masks\
  217.   attr_print_flag(l_mark,'m'),\
  218.   attr_print_flag(l_new,'n'),\
  219.   attr_print_space(avm_foreign,'F'),\
  220.   attr_print_space(avm_system,'S'),\
  221.   attr_print_space(avm_global,'G'),\
  222.   attr_print_space(avm_local,'L'),\
  223.   attr_print_flag(a_write,'w'),\
  224.   attr_print_flag(a_read,'r'),\
  225.   attr_print_flag(a_execute,'x'),\
  226.   attr_print_flag(a_executable,'e'),\
  227.   attr_print_flag(0x4000,'?'),\
  228.   attr_print_flag(0x8000,'?')
  229.   
  230. /* Abstract types */
  231. typedef struct dict_s dict;
  232. typedef struct name_s name;
  233. #ifndef stream_DEFINED
  234. #  define stream_DEFINED
  235. typedef struct stream_s stream;
  236. #endif
  237. #ifndef gx_device_DEFINED
  238. #  define gx_device_DEFINED
  239. typedef struct gx_device_s gx_device;
  240. #endif
  241. #ifndef obj_header_DEFINED
  242. #  define obj_header_DEFINED
  243. typedef struct obj_header_s obj_header_t;
  244. #endif
  245. /* We duplicate the definition of os_ptr (a.k.a. s_ptr) here */
  246. /* so that we can have an accurate typedef for op_proc */
  247. /* without having to drag in istack.h and ostack.h. */
  248. typedef int (*op_proc_p)(P1(ref _ds *));
  249. /* real_opproc is a holdover.... */
  250. #define real_opproc(pref) ((pref)->value.opproc)
  251.  
  252. /* Object reference */
  253. /*
  254.  * Note that because of the way packed arrays are represented,
  255.  * the type_attrs member must be the first one in the ref structure.
  256.  */
  257. struct tas_s {
  258.     ushort type_attrs;
  259.     ushort rsize;
  260. };
  261. struct ref_s {
  262.  
  263.     struct tas_s tas;
  264.  
  265. #define r_size(rp) ((rp)->tas.rsize)
  266. #define r_inc_size(rp,inc) ((rp)->tas.rsize += (inc))
  267. #define r_dec_size(rp,dec) ((rp)->tas.rsize -= (dec))
  268. #define r_set_size(rp,siz) ((rp)->tas.rsize = (siz))
  269. /* type_attrs is a single element for fast dispatching in the interpreter */
  270. #if r_type_shift == 8
  271. #  if arch_is_big_endian
  272. #    define r_type(rp) (((const byte *)&((rp)->tas.type_attrs))[sizeof(ushort)-2])
  273. #  else
  274. #    define r_type(rp) (((const byte *)&((rp)->tas.type_attrs))[1])
  275. #  endif
  276. #  define r_has_type(rp,typ) (r_type(rp) == (typ))
  277. #else
  278. #  define r_type(rp) ((rp)->tas.type_attrs >> r_type_shift)
  279. #  define r_has_type(rp,typ) r_has_type_attrs(rp,typ,0)    /* see below */
  280. #endif
  281. /* A special macro for testing arrayhood. */
  282. #define r_is_array(rp) _r_has_masked_type_attrs(rp,t_array,_t_array_span,0)
  283. #define r_set_type(rp,typ) ((rp)->tas.type_attrs = (typ) << r_type_shift)
  284. #define r_btype(rp)\
  285.  ((rp)->tas.type_attrs >= (t_next_index << r_type_shift) ?\
  286.   t_operator : r_type(rp))
  287. #define r_type_xe_shift (r_type_shift - 2)
  288. #define type_xe_(tas) ((tas) >> r_type_xe_shift)    /* internal use only */
  289. /*
  290.  * The r_type_xe macro is used in (and only in) the main interpreter loop,
  291.  * where its rp operand may be a ref_packed, not necessarily aligned as
  292.  * strictly as a full-size ref.  The DEC C compiler, and possibly others,
  293.  * may compile code assuming that rp is ref-aligned.  Therefore, we
  294.  * explicitly cast the pointer to a less-strictly-aligned type.
  295.  */
  296. #define r_type_xe(rp) type_xe_(*(const ushort *)&(rp)->tas.type_attrs)
  297. #define type_xe_value(t,xe) type_xe_(((t) << r_type_shift) + (xe))
  298. #define r_type_attrs(rp) ((rp)->tas.type_attrs)    /* reading only */
  299. #define r_has_attrs(rp,mask) !(~r_type_attrs(rp) & (mask))
  300. #define r_has_masked_attrs(rp,attrs,mask)\
  301.   ((r_type_attrs(rp) & (mask)) == (attrs))
  302. #define r_has_attr(rp,mask1)        /* optimize 1-bit case */\
  303.    (r_type_attrs(rp) & (mask1))
  304. /* The following macro is not for external use. */
  305. #define _r_has_masked_type_attrs(rp,typ,tspan,mask)\
  306.  (((rp)->tas.type_attrs &\
  307.    ((((1 << r_type_bits) - (tspan)) << r_type_shift) + (mask))) ==\
  308.   (((typ) << r_type_shift) + (mask)))
  309. #define r_has_type_attrs(rp,typ,mask)\
  310.   _r_has_masked_type_attrs(rp,typ,1,mask)
  311. /* A special macro for testing procedurehood. */
  312. #define r_is_proc(rp)\
  313.   _r_has_masked_type_attrs(rp,t_array,_t_array_span,a_execute+a_executable)
  314. #define r_set_attrs(rp,mask) ((rp)->tas.type_attrs |= (mask))
  315. #define r_clear_attrs(rp,mask) ((rp)->tas.type_attrs &= ~(mask))
  316. #define r_store_attrs(rp,mask,attrs)\
  317.   ((rp)->tas.type_attrs = ((rp)->tas.type_attrs & ~(mask)) | (attrs))
  318. #define r_copy_attrs(rp,mask,sp)\
  319.   r_store_attrs(rp,mask,(sp)->tas.type_attrs & (mask))
  320. #define r_set_type_attrs(rp,typ,mask)\
  321.   ((rp)->tas.type_attrs = ((typ) << r_type_shift) + (mask))
  322. /* Macros for t_[a]struct objects. */
  323. #define r_is_struct(rp) _r_has_masked_type_attrs(rp,t_struct,_t_struct_span,0)
  324. #define r_has_stype(rp,mem,styp)\
  325.   (r_is_struct(rp) && gs_object_type(mem, (rp)->value.pstruct) == &styp)
  326. #define r_ptr(rp,typ) ((typ *)((rp)->value.pstruct))
  327. #define r_set_ptr(rp,ptr) ((rp)->value.pstruct = (obj_header_t *)(ptr))
  328.  
  329.     union v {            /* name the union to keep gdb happy */
  330.         long intval;
  331.         ushort boolval;
  332.         float realval;
  333.         ulong saveid;
  334.         byte *bytes;
  335.         const byte *const_bytes;
  336.         ref *refs;
  337.         const ref *const_refs;
  338.         name *pname;
  339.         const name *const_pname;
  340.         dict *pdict;
  341.         const dict *const_pdict;
  342.         const ref_packed *packed;
  343.         op_proc_p opproc;
  344.         struct stream_s *pfile;
  345.         struct gx_device_s *pdevice;
  346.         obj_header_t *pstruct;
  347.     } value;
  348. };
  349.  
  350. /* Define the required alignment for refs. */
  351. /* We assume all alignment values are powers of 2. */
  352. #define align_ref_mod\
  353.  (((arch_align_long_mod - 1) | (arch_align_float_mod - 1) |\
  354.    (arch_align_ptr_mod - 1)) + 1)
  355.  
  356. /* Define the maximum size of an array or a string. */
  357. /* The maximum array size is determined by the fact that */
  358. /* the allocator cannot allocate a block larger than max_uint. */
  359. #define max_array_size (max_ushort & (max_uint / (uint)arch_sizeof_ref))
  360. #define max_string_size max_ushort
  361.  
  362. #endif                    /* iref_INCLUDED */
  363.